Merge branch 'new-style-menu' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 9 Jun 2019 18:13:55 +0000 (18:13 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 9 Jun 2019 18:13:55 +0000 (18:13 +0000)
commit2248980c6b1fbd1e65238f556d8eed317b0770b1
treee85014acd54244d3da62efc2b6a987f081b7f3d0
parent4494884f9a7d5b80c704c68ac606f99e8e0f10f3
parent3c1163e7f45a8506874b7bff6038317d6a9d1d20
Merge branch 'new-style-menu' into 'master'

New style menu

See merge request GNOME/gtk!916